Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
191	Automatic Synthesis of Deterministic Concurrency Veselin Raychev1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {veselin.raychev,martin.vechev}@inf.ethz.ch Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-04-17 10:02:32 Concurrent computing Thread Synchronization Deadlock Parallel computing Algorithm Lock Mutual exclusion Computer programming Concurrency Computing Computer science
192	Asynchronous Assertions Edward E. Aftandilian Samuel Z. Guyer Martin Vechev Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:26:36 Concurrency control Assertion Debugging Logic in computer science Thread Copy-on-write Garbage collection Monitor Objective-C Computing Computer programming Software engineering
193	¨ t Augsburg Universita Proving Linearizability with Temporal Logic S. B¨ Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:20:17 Concurrency control Algorithm Mathematical logic Theoretical computer science Non-blocking algorithm Linearizability Stack Temporal logic Logic programming Computing Computer programming Software engineering
194	Monotonic Abstraction in Parameterized Verification Parosh Aziz Abdulla1 Department of Information Technology Uppsala University Sweden Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2009-12-16 16:43:42 Diagrams Petri net Transition Monotonic function FO Abstraction Computer science Mathematics Models of computation Concurrency
195	Computer Science Seminar Series April 18, 2003 Integrating Object-Oriented Design and High-Level Petri Nets in Development of Concurrent Add to Reading List Source URL: www.cis.umassd.edu Language: English - Date: 2003-09-14 21:32:11 Computing Object-oriented programming Diagrams CO-OPN Petri Object-oriented design Object Enterprise engineering Software engineering Concurrency Petri nets
196	Conceptual Modeling of Concurrent Systems through Stepwise Abstraction Using Petri Net Morphisms Boleslaw Mikolajczak & Zuyan Wang Computer and Information Science Department Add to Reading List Source URL: www.cis.umassd.edu Language: English - Date: 2004-01-08 17:30:36 Computer science Petri Petri nets Science Concurrency Models of computation Diagrams
197	IEICE TRANS. INF. & SYST., VOL.E86–D, NO.12 DECEMBER[removed]PAPER Add to Reading List Source URL: ddg.jaist.ac.jp Language: English - Date: 2004-06-13 12:09:21 Concurrency control Analysis of algorithms Algorithm Mathematical logic Distributed algorithm Distributed computing Throughput Latency Atomic broadcast Theoretical computer science Applied mathematics Computational complexity theory
198	Carl Adam Petri and "Petri Nets" Wilfried Brauer, Wolfgang Reisig Scientific tradition frequently names a fundamental notion, insight, or theory after its explorer or eminent representative. Typical examples include "Ab Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-05-09 04:57:23 Carl Adam Petri Computer science Science Petri Model checking Process calculus Parallel computing CPN-AMI Concurrency Petri nets Formal methods
199	image from pachd.com RADISH: Sound and Complete Race Detection in Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-11-13 13:30:29 Computer programming Theoretical computer science Data management Anti-patterns Concurrency Schedule Race condition Thread Linearizability Transaction processing Computing Concurrency control
200	Strategized Locking, Thread-safe Interface, and Scoped Locking Patterns and Idioms for Simplifying Multi-threaded C++ Components Douglas C. Schmidt [removed] Department of Computer Science Washington Universit Add to Reading List Source URL: www.cs.wustl.edu Language: English - Date: 2000-01-07 19:56:45 Software engineering Lock Readers–writer lock Software design pattern Deadlock Reentrant mutex Mutual exclusion Critical section Resource Acquisition Is Initialization Concurrency control Computing Computer programming

UPDATE